Nuprl Definition : Butler 8,37
The Butler is Primitive 
latex

FDL editor aliasesButler

origin